Time, E-LOTOS, and the FireWire
نویسندگان
چکیده
The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.
منابع مشابه
A case study in abstraction using E-LOTOS and the FireWire
The proposed ISO standard Enhancements to LOTOS (E-LOTOS) is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus (``FireWire''). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to...
متن کاملValidation of the Link Layer Protocolof
This paper deals with the description in E-Lotos of the asynchronous Link layer protocol of the Ieee-1394 Standard and its veriication using model-checking. The E-Lotos descriptions are based on both the standard and the Crl description written by Luttik. The veriications are performed using the Cadp (CCsar/Ald ebaran) toolbox. We translate the E-Lotos descriptions in Lotos using the Traian too...
متن کاملHard Real-time Networking on Firewire
This paper investigates the possibility of using standard, low-cost, widely used FireWire as a new generation fieldbus medium for real-time distributed control applications. A real-time software subsystem, RT-FireWire was designed that can, in combination with Linux-based real-time operating system, provide hard real-time communication over FireWire. In addition, a high-level module that can em...
متن کاملTime , E - LOTOS , and the
The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.
متن کاملA case study in abstraction using E
The proposed ISO standard E-LOTOS is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus ((FireWiree). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the no...
متن کامل